#!/bin/sh
export TXLLIB=../lib
export TXLBIN=../bin
../bin/txlp $*
